Nuprl Definition : comp_id_mon
13,42
postcript
pdf
(<o,Id> monoid on
T
) == <
T
T
,
x
,
y
. tt,
x
,
y
. tt,
f
,
g
.
f
o
g
, Id,
x
.
x
>
latex
Up
groups
1
Wellformedness Lemmas
comp
id
mon
wf
Definitions
tt
,
f
o
g
,
Id
origin
T, 
x,y. tt, x,y. tt, f,g. f o g, Id, x.x> T, x,y. tt, x,y. tt, f,g. f o g, Id, x.x>